Refinement in hybridised institutions

Refinement by interpretation in {\pi}-institutions

The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of π-institutions. This leads to a smooth generalization of the “refinement by interpretation” approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided ...

A Hybridised 3-SAT Algorithm

Foundations of Logic Programming in Hybridised Logics

The present paper sets the foundation of logic programming in hybridised logics. The basic logic programming semantic concepts such as query and solutions, and the fundamental results such as the existence of initial models and Herbrand’s theorem, are developed over a very general hybrid logical system. We employ the hybridisation process proposed by Diaconescu over an arbitrary logical system ...

Dynamic function optimisation with hybridised extremal dynamics

Dynamic function optimisation is an important research area because many real-world problems are inherently dynamic in nature. Over the years, a wide variety of algorithms have been proposed to solve dynamic optimisation problems, and many of these algorithms have used the Moving Peaks (MP) benchmark to test their own capabilities against other approaches. This paper presents a detailed account...

Investigating the performance of Qarzat al-Hasna institutions in production as micro-financing institutions in Iran

The purpose of this study was to investigate the performance of Qarzat al-Hasna institutions as microfinance institutions in Iran. For this purpose, the statistical information of the country's banking system in the period 2009 to 2020 and the panel data method were used. In order to estimate this relationship, diagnostic tests were performed on the research variables and finally the experiment...